Counting and empty alternating pushdown automata

نویسنده

  • Klaus Reinhardt
چکیده

We show that the class of context free languages CFL is not equal to ⊕1−PDA (= ⊕CFL), the class of languages, which are recognized by a nondeterministic oneway push-down automaton equipped with parity acceptance. Furthermore we show that LOG(⊕CFL) = ⊕AuxPDApt contains all languages, which can be recognized by a uniform weak unambiguous AC1-circuit introduced in [LR90a]. Therefore, it contains all languages, which can be recognized by a CREW -PRAM. We show, that L#Aux PDApt is contained in uniform TC1, which sharpens a result in [Vin91], where inclusion in NC2 was shown. At last we show, that AC, SAC and P can be characterized as the logarithmic closure of certain types of languages. These languages are either those given by linear alternating grammars or they are languages which are recognized by alternating pushdown automata with the restriction that their storage has to be empty if they make an alternating transition. In particular, we consider the cases when the depth of alternation is bounded by a constant or a polylogarithmic function.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Emptiness of Multi-pushdown Automata Is 2ETIME-Complete

Abstract. We consider multi-pushdown automata, a multi-stack extension of pushdown automata that comes with a constraint on stack operations: a pop can only be performed on the first non-empty stack (which implies that we assume a linear ordering on the collection of stacks). We show that the emptiness problem for multi-pushdown automata is 2ETIME-complete wrt. the number of stacks. Containment...

متن کامل

Conjunctive Grammars and Alternating Pushdown Automata Draft Paper

In this paper we introduce a variant of alternating pushdown automata, Synchronized Alternating Pushdown Automata, which accept the same class of languages as those generated by conjunctive grammars.

متن کامل

Alternating and Empty Alternating Auxiliary Stack Automata

We consider variants of alternating auxiliary stack automata and characterize their computational power when the number of alternations is bounded by a constant or unlimited. In this way we get new characterizations of NP, the polynomial hierarchy, PSpace, and bounded query classes like co-DP=NL〈NP[1]〉 and 2P=P , in a uniform framework. c © 2002 Elsevier Science B.V. All rights reserved.

متن کامل

One-Turn Regulated Pushdown Automata and Their Reduction

This paper discusses some simple and natural restrictions of regulated pushdown automata. Most importantly, it studies one-turn regulated pushdown automata and proves that they characterize the family of recursively enumerable languages. In fact, this characterization holds even for atomic one-turn regulated pushdown automata of a reduced size. This result is established in terms of acceptance ...

متن کامل

Linear Conjunctive Grammars and One-Turn Synchronized Alternating Pushdown Automata

In this paper we introduce a sub-family of synchronized alternating pushdown automata, one-turn Synchronized Alternating Pushdown Automata, which accept the same class of languages as those generated by Linear Conjunctive Grammars. This equivalence is analogues to the classical equivalence between one-turn PDA and Linear Grammars, thus strengthening the claim of Synchronized Alternating Pushdow...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1992